Discourse representation theory